☰
13.4.3 날짜 논리 검증(Temporal Logic): 발주일 ≤ 청구일 ≤ 만기일 순서 보장
Home
/
소프트웨어 공학 (Software Engineering)
/
제목: 오라클: AI 주도 개발을 위한 해답
/
Chapter 13. 실전 예제 3: 비정형 문서 데이터 추출을 위한 엄격한 데이터 유효성 검사 매커니즘
/
13.4 2단계 오라클: 논리적/의미적 유효성 검사 (Semantic Consistency Oracle)
/
13.4.3 날짜 논리 검증(Temporal Logic): 발주일 ≤ 청구일 ≤ 만기일 순서 보장
13.4.3 날짜 논리 검증(Temporal Logic): 발주일 ≤ 청구일 ≤ 만기일 순서 보장